# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q||;
$key = q/{defs1}|CompileAllDiagrams||{||}|cr{defs1};AAT/;
$cached_env_img{$key} = q||;
$key = q/{defs1}|NoCompileAllDiagrams|cr|ReCompileAllDiagrams|cr{defs1};AAT/;
$cached_env_img{$key} = q||;
$key = q/{defs1}|ltxdiagram@{xycompileto{#1}}|dots|diagram|cr{defs1};MSF=1.6;AAT/;
$cached_env_img{$key} = q||;